5

On complexity of verification of interacting agents’ behavior

Année:
2006
Langue:
english
Fichier:
PDF, 455 KB
english, 2006
7

On feasible cases of checking multi-agent systems behavior

Année:
2003
Langue:
english
Fichier:
PDF, 301 KB
english, 2003
10

Categorial dependency grammars

Année:
2015
Langue:
english
Fichier:
PDF, 971 KB
english, 2015
11

Baselines in requirements tracing

Année:
2005
Langue:
english
Fichier:
PDF, 169 KB
english, 2005
15

Review of Reasoning About Knowledge by Ronald Fagin, Joseph Halpern, Yoram Moses and Moshe Verdi

Année:
1997
Langue:
english
Fichier:
PDF, 301 KB
english, 1997